Chinese translation for "first order logic"
|
- 一阶逻辑
Related Translations:
- Example Sentences:
| 1. | The two - value weak model for first order logic with generalized quantifier
摘要：将带广义量词 | | 2. | Proving several theorems in first order logic based on back - and - forth method
向前向后法证明一阶逻辑的几个定理 | | 3. | The two - valued weak model of the first order logic with generalized quantifier q is generalized to be valued in complete weak complemented lattices . for finite linearly - ordered weak complemented lattice , the omitting type theorem is proved
将带广义量词q的一阶逻辑的二值弱模型推广到取值于完备弱可补格上，对有限的线性序弱可补格证明了省略型定理。 | | 4. | ( 3 ) it is well known that the determinant problem in classic proposition logic is a np complete problem , and the first order logic is a half determinant one . so both the analysis of computing complexity and the realization of it are the most important fields
( 3 )众所周知，经典命题逻辑中的判定问题是np完全问题，而一阶逻辑是半可判定问题，关于非经典逻辑特别是非单调逻辑的计算复杂性分析和算法实现是一个重要的研究领域。 | | 5. | ( 2 ) in order to validate the efficiency of algorithm , this paper design and implement a testing , platform rule processor based on sql server . the main function of the processor is to translate the first order logic rule into embedded - sql programs , which make sql server dbms possess the capability in expressing recursive query with logic language
( 2 )为验证算法的有效性，该文设计实现了一个测试平台? ?基于sqlserver的规则处理器，其主要功能为自动把一阶逻辑规则转换为含有sql语句的过程代码，这使得sqlserver数据库管理系统有了用逻辑数据语言表示递归查询的能力。 |
- Similar Words：
- "first order lag" Chinese translation, "first order lag element" Chinese translation, "first order level" Chinese translation, "first order leveling" Chinese translation, "first order levelling" Chinese translation, "first order loop" Chinese translation, "first order markov process" Chinese translation, "first order mass action law" Chinese translation, "first order metabolism" Chinese translation, "first order nucleation" Chinese translation
|
|
|
